๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
โ๏ธ Bidirectional Typing
Type Synthesis, Type Checking, Local Inference, Elaboration
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
15h
๐
Unification Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip โ A Lisp System in JavaScript
lisperator.net
ยท
5h
ยท
Discuss:
Hacker News
๐ฑ
Minimal Lisps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Defeating Return Type Polymorphism
philipphagenlocher.de
ยท
1d
ยท
Discuss:
Hacker News
๐
Linear Haskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to
ยท
4h
ยท
Discuss:
DEV
๐ช
C Metaprogramming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language โข Semantics 3
inquiryintoinquiry.com
ยท
3h
๐
Backus-Naur Form
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
ยท
2h
๐
Proof Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org
ยท
15h
๐
ML Language
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
ยท
1d
ยท
Discuss:
Hacker News
๐งฎ
Combinator Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.com
ยท
3h
ยท
Discuss:
r/reactjs
๐
Stack Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GaloisInc/parameterized-utils
github.com
ยท
2d
๐
Linear Haskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Replacing the Type Checker for the Swift Compiler
forums.swift.org
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Swift Interpreters
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
ยท
9h
๐งฎ
Combinator Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
ยท
1d
ยท
Discuss:
Hacker News
๐
Datalog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
ยท
1d
ยท
Discuss:
Hacker News
โก
functional programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three Solutions to Nondeterminism in AI
blog.hellas.ai
ยท
2d
ยท
Discuss:
Hacker News
โ
Type Checking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From CAP to GAP?
fsharpforfunandprofit.com
ยท
12h
ยท
Discuss:
DEV
๐งช
Testing Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
ยท
7h
๐
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
ยท
15h
ฮป
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
ยท
15h
๐
Incremental Lexing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
ยท
3h
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »